program synthesis中文是什么意思

发音:

中文翻译
造句

程序语法
程序综合

synthesis n. (pl. -ses ) 综合，【化学】合成；【逻辑 ...
automatic program synthesis 自动程序综合
logical program synthesis 逻辑程序合成
ship synthesis program 船舶综合程序; 船舶综合分析程序
structural synthesis design program 结构综合设计程序
synthesis of the object program 结果程序的综合
for synthesis 合成用
synthesis n. (pl. -ses ) 综合，【化学】合成；【逻辑学】综合(法)；【语言学】综合(性)；语词的合成；【医学】接合；【物理学】合成综合。
the program 叛逆赢家
this program 这个程序
to program 编程; 编制程序; 程序编制
abiotic synthesis 非生物合成
active synthesis 有源综合
additive synthesis 附加合成
admittance synthesis 导纳综合
alfene synthesis 铝烯合成法
alfol synthesis 铝醇合成法
alternative synthesis 别种合成法
amidine synthesis 脒合成
ammonia synthesis 氨的合成; 氨合成法; 合成氨
analog synthesis 模拟综合
analysis and synthesis 分析和综合; 分析与综合
analysis by synthesis 综合分析
anodic synthesis 阳极合成

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

Program synthesis is a special form of automatic programming that is most often paired with a technique for formal verification. The goal is to automatically construct a program that provably satisfies a given high-level specification.

详细百科解释

推荐英语阅读

program synthesis的中文翻译，program synthesis是什么意思，怎么用汉语翻译program synthesis，program synthesis的中文意思，program synthesis的中文，program synthesis in Chinese，program synthesis的中文，program synthesis怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。